Commutativity of Reducers
نویسندگان
چکیده
In the Map-Reduce programming model for data parallel computation in a cloud environment, the reducer phase is responsible for computing an output key-value pair, given a sequence of input values associated with a particular key. Because of non-determinism in transmitting key-value pairs over the network, the inputs may not arrive at a reducer in a fixed order. This gives rise to the reducer commutativity problem, that is, is the reducer computation is independent of the order of its inputs? Commutativity of reducers is a desirable property, absence of which may lead to correctness violations and hard-to-find bugs. In this paper, we study the reducer commutativity problem formally. To model real-world reducers, we introduce the notion of an integer reducer, a syntactic subset of integer programs. We show that, in spite of syntactic restrictions, deciding commutativity of integer reducers over unbounded sequences of integer values is undecidable. It remains undecidable even with input sequences of a fixed length. The problem, however, is decidable for reducers over unbounded input sequences if the integer values are bounded. We also propose an efficient reduction of commutativity checking to conventional assertion checking and report experimental results from checking commutativity using various off-the-shelf program analyzers.
منابع مشابه
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach
MapReduce is a popular programming model for data parallel computation. In MapReduce, the reducer produces an output from a list of inputs. Due to the scheduling policy of the platform, the inputs may arrive at the reducers in different order. The commutativity problem of reducers asks if the output of a reducer is independent of the order of its inputs. Although the problem is undecidable in g...
متن کاملFinite groups with three relative commutativity degrees
For a finite group $G$ and a subgroup $H$ of $G$, the relative commutativity degree of $H$ in $G$, denoted by $d(H,G)$, is the probability that an element of $H$ commutes with an element of $G$. Let $mathcal{D}(G)={d(H,G):Hleq G}$ be the set of all relative commutativity degrees of subgroups of $G$. It is shown that a finite group $G$ admits three relative commutativity degrees if a...
متن کاملCommutativity degree of $mathbb{Z}_p$≀$mathbb{Z}_{p^n}
For a nite group G the commutativity degree denote by d(G) and dend:$$d(G) =frac{|{(x; y)|x, yin G,xy = yx}|}{|G|^2}.$$ In [2] authors found commutativity degree for some groups,in this paper we nd commutativity degree for a class of groups that have high nilpontencies.
متن کاملA GENERALIZATION OF A JACOBSON’S COMMUTATIVITY THEOREM
In this paper we study the structure and the commutativity of a ring R, in which for each x,y ? R, there exist two integers depending on x,y such that [x,y]k equals x n or y n.
متن کاملThe Tensor Degree of a Pair of Finite Groups
In this paper, we study the tensor commutativity degree of pair of finite groups. Erdos introduced the relative commutativity degree and studied its properties. Then, Mr. Niroomand introduced the tensor relative commutativity degree, calculated tensor relative degree for some groups, and studied its properties. Also, he explained its relation with relative commutativity degree. In this paper, w...
متن کامل